Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji College of Computer, National University of Defense Technology Changsha, China Email: {yixi

Source URL: lqchen.github.io

LATEX3 News Issue 8, July 2012 Extended floating point support Bruno Le Floch has been re-writing the floating point module to function in an ‘expandable’ manner. This

Source URL: www.latex-project.org

Robustness Analysis of Floating-Point Programs by Self-Composition Liqian Chen? , Jiahong Jiang, Banghu Yin, Wei Dong, and Ji Wang National Laboratory for Parallel and Distributed Processing, National University of Defen

Source URL: lqchen.github.io

THE SYSTEM The 8510/a GRAPHICS COMPUTER SYSTEM consists of the Model 8510 DATA PROCESSOR, with FIS/EIS (Hardware floating point option) a 56K Byte memory/ video controller unit and the Model 8532 Keyboard/ Display. This

Source URL: www.bitsavers.org

Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2

Source URL: people.mpi-sws.org

Perturbing Numerical Calculations for Statistical Analysis of Floating-Point Program (In)Stability Enyi Tang† † Earl Barr‡

Source URL: earlbarr.com

Efficient Implementation of Strict Floating-Point Semantics Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering, Waseda University, 3–4–1 Okubo, Shinjuku-ku, Tokyo 169–8555, JAPAN {shudoh,muraoka}@murao

Source URL: www.shudo.net

302 IEEE TRANSACTIONS ON COMPUTERS, VOL. 44, NO. 2. FEBRUARY 1995 Floating Point Fault Tolerance with Backward Error Assertions

Source URL: crc.stanford.edu

Comparison between binary64 and decimal64 floating-point numbers Nicolas Brisebarre, Marc Mezzarobba Jean-Michel Muller Laboratoire LIP CNRS, ENS Lyon, INRIA,

Source URL: www.marc.mezzarobba.net

• Computer arithmetic
• Arithmetic
• Binary arithmetic
• Computing
• Computer architecture
• Decimal64 floating-point format
• Decimal floating point
• IEEE 754
• Decimal128 floating-point format
• Binary integer decimal
• Double-precision floating-point format
• Binary number